"Ernst-Rüdiger Olderog" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Категория: Компьютеры

2.53 Mb

#2

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rüdiger Olderog, Henning Dierks

1.73 Mb

#3

Correct System Design

Ernst-Rüdiger Olderog, Bernhard Steffen

Категория: CsLn_

5.79 Mb

#4

Correct System Design

Ernst-Rüdiger Olderog, Bernhard Steffen

Категория: CsLn_

1.59 Mb

#5

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ...

Werner Damm, Ernst-Rüdiger Olderog

5.33 Mb